Security Analysis of SIMD Charles Bouillaguet, Pierre-Alain Fouque, and Gaëtan Leurent École Normale Supérieure – Département d’Informatique, 45 rue d’Ulm, 75230 Paris Cedex 05, France {Charles.Bouillaguet,Gaet

Source URL: who.rocq.inria.fr

• Cryptography
• NIST hash function competition
• Cryptographic hash functions
• MerkleDamgrd construction
• SIMD
• CubeHash
• Hash function
• SHA-3
• Block cipher

Poster: Multi-source data analysis for SQL injection detection Kevin Ross, Melody Moh, Teng-Sheng Moh Jason Yao

Source URL: www.ieee-security.org

• Data management
• Computing
• Software
• Relational database management systems
• Cross-platform software
• MySQL
• Weka
• SQL injection
• Database server
• Database
• Application server
• Code injection

Poster: Security Analysis of HSTS Implementation in Browsers Yan Jia1,2, Yuqing Zhang2,1 1 2

Source URL: www.ieee-security.org

• Computing
• Software
• Cryptography
• Transport Layer Security
• HTTP Strict Transport Security
• HTTP Public Key Pinning
• HTTP cookie
• Browser security
• HTTPS
• Public key certificate
• Google Chrome
• Firefox

A Securities Law Framework for Blockchain Tokens To estimate how likely a particular blockchain token is be a security under US federal securities law Refer to: full legal analysis Instructions Step 1: Copy to a new goog

Source URL: hacken.io

• Cryptocurrencies
• Ethereum
• Alternative currencies
• Blockchains
• Numismatics
• Economy
• Money
• Cross-platform software
• Initial coin offering
• Token
• Kin
• Draft:Bancor protocol

A Securities Law Framework for Blockchain Tokens To estimate how likely a particular blockchain token is be a security under US federal securities law Refer to: full legal analysis Instructions Step 1: Copy to a new goog

Source URL: hacken.io

• Cryptocurrencies
• Ethereum
• Alternative currencies
• Blockchains
• Numismatics
• Economy
• Money
• Cross-platform software
• Initial coin offering
• Token
• Kin
• Draft:Bancor protocol

A Comprehensive Formal Security Analysis of OAuth 2.0 arXiv:1601.01229v3 [cs.CR] 27 MayDaniel Fett

Source URL: arxiv.org

• Computer access control
• Computer security
• Identity management
• Federated identity
• Cloud standards
• OAuth
• Identity provider
• OpenID
• Single sign-on
• Authentication
• Relying party
• SAML-based products and services

Poster: CRAFTED: Code Reuse Analysis for Trusted and Effective Defense Ethan Johnson Tianqin Zhao John Criswell

Source URL: www.ieee-security.org

• Computer security
• Computing
• Compiler construction
• Computer programming
• Software engineering
• Return-oriented programming
• Control-flow integrity
• Code reuse
• Control flow graph
• Program analysis
• Data-flow analysis
• Cyberattack

Poster: IoTcube: An Automated Analysis Platform for Finding Security Vulnerabilities Seulbae Kim, Seunghoon Woo, Heejo Lee, Hakjoo Oh Department of Computer Science and Engineering Korea University Seoul, Korea

Source URL: www.ieee-security.org

• Software testing
• Computer security
• Security engineering
• Cyberwarfare
• Cybercrime
• Computer network security
• Fuzzing
• Software bugs
• Application security
• Vulnerability
• Internet of things
• Heartbleed

An Experimental Security Analysis of an Industrial Robot Controller Davide Quarta∗ , Marcello Pogliani∗ , Mario Polino∗ , Federico Maggi∗† , Andrea Maria Zanchettin∗ , and Stefano Zanero∗ ∗ Dipartimento

Source URL: www.ieee-security.org

• Computer architecture
• Robotics
• Computing
• Industrial robot
• Robot
• Humanrobot interaction
• Comau
• Cobot
• VxWorks
• Robot software
• Mobile robot

Formal Expression of BBc-1 Mechanism and Its Security Analysis Jun KURIHARA† and Takeshi KUBO†† † ††

Source URL: beyond-blockchain.org